University of Houston - PDFSEARCH.IO - Document Search Engine

University of Houston
Results: 2075

#	Item
471	Deterministic Compilation of Temporal Safety Properties in Explicit State Model Checking Kristin Y. Rozier and Moshe Y. Vardi ⋆ Rice University, Houston, Texas 77005, {kyrozier, vardi}@cs.rice.edu Abstract. The transl Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2012-11-26 20:31:33
472	Block Adaptive Randomization John D. Cook Department of Biostatistics P. O. Box, Unit 1409 The University of Texas, M. D. Anderson Cancer Center Houston, Texas, USA Add to Reading List Source URL: www.johndcook.com Language: English - Date: 2015-01-27 08:09:10
473	Branching vs. Linear Time: Semantical Perspective Version 1.2 ⋆ Sumit Nain and Moshe Y. Vardi Rice University, Department of Computer Science, Houston, TX, USA Abstract. The discussion in the computer-scien Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2009-08-06 18:57:31
474	UW PSCALE eekly University of Houston Add to Reading List Source URL: www.uh.edu Language: English - Date: 2014-10-28 11:48:30
475	Generated on : :17 UNIVERSITY OF HOUSTON Division of Research Monthly Research Activity Summary Detail Tables - in millions Add to Reading List Source URL: www.uh.edu Language: English - Date: 2014-12-09 11:18:28
476	Corresponding States Correlation of Saturated and Metastable Properties WEI-GUO DONG I and JOHN H . LIENHARD Heat Transfer and Pltase-Chonge Laboratory, Mechanical Engineering Departmerlt, University of Houston, Houston, Add to Reading List Source URL: www.uh.edu Language: English - Date: 2012-02-25 16:37:17
477	Appropriate Use of Computing Resources Appropriate and responsible use of the University of Houston computing and networking facilities is defined as use that is consistent with the teaching, learning, research and admin Add to Reading List Source URL: www.coe.uh.edu Language: English - Date: 2014-11-11 14:22:13
478	SenseNet: A Knowledge Representation Model for Computational Semantics Ping Chen (contact author) Department of Computer and Mathematical Sciences University of Houston-Downtown One Main St. Add to Reading List Source URL: www.cs.umb.edu Language: English - Date: 2008-07-16 17:41:23
479	UNIVERSITY of HOUSTON MANUAL OF ADMINISTRATIVE POLICIES AND PROCEDURES SECTION: AREA: Finance and Accounting Add to Reading List Source URL: www.uh.edu Language: English - Date: 2012-06-01 13:55:31
480	FIT FOR PURPOSE? WELFARE REFORM AND CHALLENGES FOR HEALTH AND LABOUR MARKET POLICY IN THE UK Colin Lindsay, University of York, Donald Houston, University of St Andrews, AB Add to Reading List Source URL: www.social-policy.org.uk Language: English - Date: 2014-04-30 10:53:01

UPDATE